Discreet Log Contracts
نویسنده
چکیده
Smart contracts [1] are an often touted feature of cryptographic currency systems such as Bitcoin, but they have yet to see widespread financial use. Two of the biggest hurdles to their implementation and adoption have been scalability of the smart contracts, and the difficulty in getting data external to the curency system into the smart contract. Privacy of the contract has been another issue to date. Discreet Log Contracts are a system which addresses the scalability and privacy concerns and seeks to minimize the trust required in the oracle which provides external data. The contracts are discreet in that external observers cannot detect the presence of the contract in the transaction log. They also hinge on knowledge of a discrete logarithm, which is a plus.
منابع مشابه
A trace-based model for multiparty contracts
In this article we present a model for multiparty contracts in which contract conformance is defined abstractly as a property on traces. A key feature of our model is blame assignment, which means that for a given contract, every breach is attributed to a set of parties. We show that blame assignment is compositional by defining contract conjunction and contract disjunction. Moreover, to specif...
متن کاملFormal languages and analysis of contract-oriented software
In this work we present a visual model called CO Diagrams for the specification of e-contracts. This model includes specification of obligations, permissions, prohibitions, reparations and restrictions such as real time constraints. We also define a formal semantics of the visual model intended for the analysis and verification of the modeled contracts.
متن کاملA dynamic deontic logic for complex contracts
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کاملEffective Class of Discreet Programing Problems
We consider herein a concise view of discreet programming models and methods. There has been conducted the models and methods analysis. On the basis of discreet programming models there has been elaborated and offered a new class of problems, i.e. block-symmetry models and methods of applied tasks statements and solutions. Keywords—Discreet programming, block-symmetry, analysis methods, informa...
متن کاملA Development of a Sales Log System for IPTV Systems
This paper introduces our development of a sales log system for IPTV systems. This log system records all events related to sales including registration of content, distribution contracts, customers' accesses to content, and payments. Billing is one of essential activities of any commercial organization. Our log system provides all necessary information for billing. Sales history and sales amou...
متن کامل